منابع مشابه
Haskino: A Remote Monad for Programming the Arduino
The Haskino library provides a mechanism for programming the Arduino microcontroller boards in high level, strongly typed Haskell instead of the low level C language normally used. Haskino builds on previous libraries for Haskell based Arduino programming by utilizing the recently developed remote monad design pattern. This paper presents the design and implementation of the two-level Haskino l...
متن کاملEfficient composite pattern finding from monad patterns
Automatically identifying frequent composite patterns in DNA sequences is an important task in bioinformatics, especially when all the basic elements (or monad patterns) of a composite pattern are weak. In this paper, we compare one straightforward approach to assemble the monad patterns into composite patterns to two other rather complex approaches. Both our theoretical analysis and empirical ...
متن کاملThe Isbell monad
Article history: Received 30 October 2014 Accepted 6 January 2015 Available online xxxx Communicated by Ross Street MSC: 18A32 18B15
متن کاملThe Constructive Lift Monad
The lift monad is the construction which to a poset freely adjoins a bottom element to it, or equivalently (from the classical viewpoint), the construction which freely adjoins suprema for subsets with at most one element. In constructive mathematics (i.e. inside a topos), these two constructions are no longer equivalent, since the equivalence is based on the boolean reasoning that a set with a...
متن کاملThe Monad . Reader
The barbarians are at the gates. Hordes of Java programmers are being exposed to generics and delegates; hundreds of packages have been uploaded to Hackage; the Haskell IRC channel has nearly hit 500 users; and it's only a matter of time before Microsoft seals that multi-billion dollar bid for Hayoo. The time has come to retreat and climb higher into our ivory tower: we need to design a languag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2887747.2804311